val($a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$2of(outr($a$))